Revision: tlasrc--cache--0--patch-18
Archive: aaron.bentley@utoronto.ca--tla-2004
Creator: Aaron Bentley <aaron.bentley@utoronto.ca>
Date: Sun Sep 12 21:48:15 EDT 2004
Standard-date: 2004-09-13 01:48:15 GMT
Modified-files: tests/test-framework
New-patches: aaron.bentley@utoronto.ca--tla-2004/tlasrc--cache--0--patch-18
Summary: Made test-framework delete the cache when initializing
Keywords: 

